Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
851	Non-Contingency Syllogisms in Buridan’s Treatise on Consequences Stephen Read December 15, 2012 Abstract Add to Reading List Source URL: www.st-andrews.ac.uk Language: English - Date: 2012-12-29 10:29:57 Philosophy of language Propositions Dichotomies Modal logic Prior Analytics Syllogism De Interpretatione Contingency Square of opposition Logic Traditional logic Philosophical logic
852	Bad Company Tamed Øystein Linnebo University of Bristol Draft of 8 May Abstract Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2012-10-19 03:56:46 Modal logic Metalogic Model theory Formal languages First-order logic Individuation Function Well-formed formula Barcan formula Logic Mathematical logic Mathematics
853	Burgess on Plural Logic and Set Theory Øystein Linnebo University of Bristol September[removed]Abstract Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2012-10-19 03:56:47 Model theory Set theory Predicate logic Z notation Formal systems First-order logic Reflection principle Interpretation Constructible universe Mathematical logic Logic Mathematics
854	Solutions to Selected Exercises (A complete solutions manual is available for instructors. Requests should be made on official letterhead directly to the author at the Department of Philosophy, Tulane University, New Orl Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2001-01-11 15:24:37 Propositional calculus Semantics Boolean algebra Binary operations If and only if Truth table Logical biconditional Tautology Interpretation Mathematics Logic Abstract algebra
855	Category theory as an autonomous foundation Abstract Does category theory provide a foundation for mathematics that is autonomous with respect to the orthodox foundation in a set theory such as ZFC? We distinguish three Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2013-07-31 14:44:38 Sheaf theory Topos Category theory Category of sets Set theory Class Mathematical object Sheaf Theory Mathematics Mathematical logic Logic
856	Frege’s Context Principle and Reference to Natural Numbers∗ Øystein Linnebo University of Bristol Draft of 30 June[removed]Abstract Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2012-10-19 03:56:48 Logic Analytic philosophers Meaning Philosophical logic Semantics Gottlob Frege Logicism Sense and reference Philosophy of mathematics Analytic philosophy Philosophy Philosophy of language
857	arXiv:1403.0020v1 [math.LO] 28 Feb[removed]Topos Semantics for Higher-Order Modal Logic Steve Awodey∗ Kohei Kishida† Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-07-29 07:19:05 Sheaf theory Heyting algebra Lattice theory Mathematical constructivism Order theory Topos Adjoint functors Sheaf Subobject classifier Category theory Abstract algebra Mathematics
858	1 FREGE’S PROOF OF REFERENTIALITY ØYSTEIN LINNEBO Abstract. I present a novel interpretation of Frege’s attempt at Grundgesetze I §§29-31 to prove that every expression of his language has a unique reference. I a Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2012-10-19 03:56:55 Philosophical logic Philosophy of language Semantics Meaning Analytic philosophers Gottlob Frege Sense and reference Begriffsschrift Function Analytic philosophy Logic Philosophy
859	Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:22:48 Mathematics Formal methods Formal languages Programming language semantics Memory barrier Abstract interpretation Operational semantics Abstraction Formal verification Theoretical computer science Logic in computer science Applied mathematics
860	Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2014-06-27 16:34:36 Computing Logic in computer science Computer memory Memory barrier Abstraction Abstract interpretation Algorithm Formal verification Parallel computing Mathematics Theoretical computer science Applied mathematics

UPDATE